Challenges in the successful transfer of formal methods technology into industrial applications
نویسندگان
چکیده
The primary objective of this article is to discuss a number of challenges @resented in terms of ‘guidelines’) that must be addressed in a pragmatic manner in order to transfer formal methods technology into the actual workplace and to ensure that formal methods are actually used on an industrial scale.
منابع مشابه
بررسی روشهای تولید نانو تیوب های کربنی و انتخاب بهترین روش ساخت مناسب با استفاده از روش تصمیم گیری چند معیاره
Evidence from the early and late industrializes shows that technology, as the commercial application of scientific knowledge, has been a major driver of industrial and economic development. International technology transfer is now being recognized as having played an important role in the development of the most successful late industrializes of the second half of the 20th Century. Our society ...
متن کاملNanofluids for Heat Transfer Enhancement – A Review
A nanofluid is a dilute liquid suspension of particles with at least one critical dimension smaller than ~100 nm. Research works so far suggest that nanofluids offer excellent heat transfer enhancement over conventional base fluids. The enhancement depends on several factors such as particle shape, particle size distribution, volume fraction of nanoparticles, temperature, pH, and thermal conduc...
متن کاملTriumphs and Challenges for the Industrial Application of Model- Oriented Formal Methods
The “lightweight formal methods” paradigm emphasises the use of abstract modelling as an aid to understanding and design of computer-based systems. It advocates careful targeting of formal methods technology on specific system parts or aspects, rather than large-scale application. The challenge of implementing the lightweight paradigm was taken up a decade ago by the community working with the ...
متن کاملLayout Design of a Furniture Production Line Using Formal Methods
This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.
متن کاملA Narrative Review of Blockchain in Healthcare: Applications and challenges
Introduction: Healthcare as an industry has unique requirements such as patient security and privacy, interoperability, sharing, transmission, and access control of patient data. On the other hand, the advantages of blockchain technology and the compliance of these advantages with the requirements of the health industry have encouraged researchers to investigate the methods of applying blockcha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Information & Software Technology
دوره 38 شماره
صفحات -
تاریخ انتشار 1996